Purely functional - PDFSEARCH.IO - Document Search Engine

Purely functional
Results: 42

#	Item
11	Frege purely functional programming  on the JVM  JFocus 2016 Dierk König Add to Reading List Source URL: www.jfokus.se - Date: 2016-02-10 06:22:48
12	Purely functional programming the red pill JFokus Tutorial 2016 Dierk König canoo Add to Reading List Source URL: www.jfokus.se - Date: 2016-02-09 19:39:59
13	Optimizing Transaction Execution in a Purely Functional Database Towards Database Maintenance without Downtime Lesley Wevers University of Twente Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2014-01-14 07:21:00 Transaction processing Computing Data management Data Isolation Serializability Database transaction Database Book:Non-Relational Databases Concurrency control
14	Implicit Self-Adjusting Computation for Purely Functional Programs Joshua Dunfield Yan Chen Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-09-26 05:51:13 Computational complexity theory Dynamic problem Functional languages
15	Appendix to Chen et al., ICFPAppendix to Chen et al., Implicit self-adjusting computation for purely functional programs (ICFPIn Section A, we show that translation maps source types to corresponding target Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-09-08 07:51:15 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Computability theory Table of stars with Bayer designations Symbol
16	NixOS The Purely Functional Linux Distribution Was ist NixOS? NixOS Add to Reading List Source URL: www.tuebix.org - Date: 2016-02-19 04:05:53
17	NixOS: A Purely Functional Linux Distribution Eelco Dolstra Andres L¨oh Delft University of Technology, The Netherlands Add to Reading List Source URL: nixos.org Language: English - Date: 2008-07-16 05:26:48
18	c 1995 Cambridge University Press 583 J. Functional Programming 5(4): 583–592, October 1995 Simple and Efficient Purely Functional Queues and Deques CHRIS OKASAKI Add to Reading List Source URL: www.westpoint.edu Language: English - Date: 2012-06-11 12:50:26
19	Chapter 12 ASL: A Small Language We present in this chapter a simple language: ASL (A Small Language). This language is basically the λ-calculus (the purely functional kernel of Caml) enriched with a conditional constr Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Compiler construction Parsing Lexical analysis American Sign Language Lex Expr Hindley–Milner Computing Software Programming language implementation
20	500 Prints on Clay Juror: Paul Andrew Wandless Lark Crafts seeks images to publish in a juried collection of prints on clay works. Pieces may be functional or purely decorative in nature. We can accept only high-quality Add to Reading List Source URL: www.larkcrafts.com Language: English - Date: 2011-04-20 10:09:25 Computing Software Graphic design Color space Computer file formats Raw image format RGB color model Royalties Stencil Visual arts Printing Graphics file formats

UPDATE